Listing 1 - 10 of 18 << page
of 2
>>
Sort by
Bounded variable logics and counting : a study in finite models
Author:
ISBN: 3540620370 3662216760 Year: 1997 Publisher: [Place of publication not identified] Springer

Reflections on Kurt Gödel
Author:
ISBN: 0262285770 0585321213 9780585321219 0262231271 0262730871 9780262231275 9780262730877 Year: 1987 Publisher: Cambridge, MA : M.I.T. Press,

Green plants : their origin and diversity
Authors: ---
ISBN: 1280955805 9786610955800 051180783X 0511351313 0511040296 0511155360 0511556195 0511051522 110711618X 9780511040290 9780511351310 9780511807831 0521641098 9780521641098 9780511556197 9781280955808 6610955808 9780511155369 9780511051524 0521641098 0521646731 9780521641098 9780521646734 Year: 2000 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The central theme of Green Plants, first published in 2000, is the astonishing diversity of forms found in the plant kingdom, from the simplicity of prokaryotic algae to the myriad complexities of flowering plants. The book is arranged according to generally accepted classification schemes, beginning with algae (prokaryotic and eukaryotic) and moving through mosses, liverworts, fern allies, ferns and gymnosperms to flowering plants. Copiously illustrated throughout, it provides a concise account of all algae and land plants, with information on topics from cellular structure to life cycles and reproduction. The authors maintain a refreshingly cautious approach in discussions of possible phylogenetic relationships and include newly emerging information on features of plants known only as fossils. This edition has been completely updated to reflect current views on the origin of the major groups of plants, providing a resource for students of botany, and for researchers needing a comprehensive reference to the plant kingdom.


Book
Graph structure and monadic second-order logic : a language-theoretic approach
Authors: ---
ISBN: 9780521898331 0521898331 9780511977619 9781139649377 113964937X 0511977611 9781139641739 1139641735 9781139638890 1139638890 113963786X 1139635433 1139648411 1139633007 Year: 2012 Volume: 138 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The study of graph structure has advanced in recent years with great strides: finite graphs can be described algebraically, enabling them to be constructed out of more basic elements. Separately the properties of graphs can be studied in a logical language called monadic second-order logic. In this book, these two features of graph structure are brought together for the first time in a presentation that unifies and synthesizes research over the last 25 years. The authors not only provide a thorough description of the theory, but also detail its applications, on the one hand to the construction of graph algorithms, and, on the other to the extension of formal language theory to finite graphs. Consequently the book will be of interest to graduate students and researchers in graph theory, finite model theory, formal language theory, and complexity theory.

Publication manual of the American Psychological Association
Author:
ISBN: 9781433805615 1433805618 1433805596 1433805626 9781433805592 9781433805622 Year: 2009 Publisher: Washington (D.C.) American Psychological Association

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Psychology --- Social sciences --- Psychological literature --- Social science literature --- Authorship --- Publishing --- Naslagwerken --- Publicatienormen. --- publicatienormen. --- Bronvermelding. --- Academische teksten --- Bibliografische referenties. --- Elektronische bronnen --- Rapporten --- Research --- Scripties. --- Engelse taal --- stijl. --- bibliografische referenties. --- Engelse taal. --- handboeken. --- Psychologie --- Rédaction de rapports, notes et comptes rendus --- Art d'écrire --- schrijven --- Science --- zakelijk schrijven --- writing [processes] --- 002 --- Citeren --- Refereren --- APA-normen --- APA --- 001.818 --- Documentatie : refereren --- Wetenschappelijke tekst : schrijven --- 001.81 --- 450.8 --- APA (American Psychological Association) --- citeren en refereren --- literatuurstudie --- 031 --- citeren --- informatievaardigheden --- rapporteren --- refereren --- #SBIB:02G --- #SBIB:303H0 --- #KVHA:Schrijfvaardigheid; Engels --- #KVHA:Stijlboek; Engels --- #KVHA:Stijlboek; psychologie --- #KVHA:Taalzuivering; Engels --- #KVHB:APA-regels --- #KVHB:Bibliografische referenties --- #KVHB:Kantoor TP --- 001.891 --- 159.9.078 --- 159.9.078 Instrumentarium van het psychologisch onderzoek --- Instrumentarium van het psychologisch onderzoek --- 001.81 Techniek van de intellectuele arbeid --- Techniek van de intellectuele arbeid --- 001.891 Wetenschappelijk onderzoek. Research. Onderzoekmethoden --- Wetenschappelijk onderzoek. Research. Onderzoekmethoden --- Behavioral sciences --- Human sciences --- Sciences, Social --- Social science --- Social studies --- Civilization --- Psychology literature --- techniek van de wetenschappelijke arbeid --- Methodiek van het studeren --- informatie en documentatie --- Bibliotheekwezen --- Methoden in de sociale wetenschappen: algemeen --- Rédaction de rapports, notes et comptes rendus. --- Art d'écrire. --- Rapporteren --- American Psychological Association --- Onderzoek --- Wetenschappelijk onderzoek --- #KVHA:Teksttypologie --- #KVHA:APA-regels --- #KVHA:Citeren --- Natuurwetenschappen --- Ontwikkeling --- Leerlijn --- Stijl. --- Handboeken. --- Onderzoek (wetenschap) --- Psychology - Authorship - Style manuals --- Social sciences - Authorship - Style manuals --- Psychological literature - Publishing - Handbooks, manuals, etc. --- Social science literature - Publishing - Handbooks, manuals, etc.

Computational Turbulent Incompressible Flow : Applied Mathematics: Body and Soul 4
Authors: ---
ISBN: 354000890X 9783540008903 9783540008897 3540008896 9783540008910 3540008918 9783540465317 3540465316 3642079865 3540465332 Year: 2007 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This is Volume 4 of the book series of the Body & Soul mathematics education reform program, and presents a unified new approach to computational simulation of turbulent flow starting from the general basis of calculus and linear algebra of Vol 1-3. The book puts the Body & Soul computational finite element methodology in the form of General Galerkin (G2), up against the challenge of computing turbulent solutions of the inviscid Euler equations and the Navier-Stokes equations with small viscosity. The book shows that direct application of G2 without any turbulence or wall modeling, allows reliable computation on a PC of mean value quantities of turbulent flow such as drag and lift. The power of G2 is demonstrated by resolving several classical scientific paradoxes of fluid flow and by uncovering secrets of flying, sailing, racing and ball sports. The book presents new aspects on both mathematics and computation of turbulent flow, and challenges established approaches. The book is directed to a wide audience of computational mathematicians fluid dynamicists and scientists. The G2 solver is available as part the free software project FEniCS at www.fenics.org. The book has a dedicated dynamic web page, including movies from a wide variety of simulations, at www.bodysoulmath.org. The book is focussed on incompressible flow, but opens to compressible flow continued in Vol 5 on thermodynamics. The authors are experts on computational mathematics and technology.

Keywords

Mathematical analysis --- Hydromechanics --- Conception assistée par ordinateur --- Mathematics. --- Algebras, Linear. --- Differential equations. --- Differential equations, Partial. --- Calculus of variations. --- Numerical analysis. --- Mathematical optimization. --- Fluid mechanics. --- Continuum mechanics --- Optimization (Mathematics) --- Optimization techniques --- Optimization theory --- Systems optimization --- Maxima and minima --- Operations research --- Simulation methods --- System analysis --- Isoperimetrical problems --- Variations, Calculus of --- Partial differential equations --- 517.91 Differential equations --- Differential equations --- Linear algebra --- Algebra, Universal --- Generalized spaces --- Calculus of operations --- Line geometry --- Topology --- Math --- Science --- Differential geometry. Global analysis --- Fluid mechanics --- 517.91. --- Numerical solutions --- Computer mathematics. --- Physics. --- Continuum physics. --- Applied mathematics. --- Engineering mathematics. --- Computational Mathematics and Numerical Analysis. --- Engineering Fluid Dynamics. --- Classical Continuum Physics. --- Computational Science and Engineering. --- Mathematical Methods in Physics. --- Appl.Mathematics/Computational Methods of Engineering. --- Differential equations, Partial --- Mathematical models --- Numerical analysis --- Equations différentielles --- Equations aux dérivées partielles --- Modèles mathématiques --- Analyse numérique --- Data processing --- Computer-aided design --- Informatique --- EPUB-LIV-FT LIVMATHE SPRINGER-B --- Computer science --- Hydraulic engineering. --- Computer science. --- Mathematical physics. --- Classical and Continuum Physics. --- Mathematical and Computational Engineering. --- Physical mathematics --- Physics --- Informatics --- Engineering, Hydraulic --- Engineering --- Hydraulics --- Shore protection --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Engineering analysis --- Mathematics --- Natural philosophy --- Philosophy, Natural --- Physical sciences --- Dynamics --- Classical field theory --- Continuum physics --- Algebras, Linear --- 517.91 --- Calculus of variations --- Mathematical optimization

Lattice : Multivariate Data Visualization with R
Author:
ISBN: 1281205796 9786611205799 0387759697 0387759689 9780387759685 9780387759692 Year: 2008 Publisher: New York, NY : Springer New York : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

R is rapidly growing in popularity as the environment of choice for data analysis and graphics both in academia and industry. Lattice brings the proven design of Trellis graphics (originally developed for S by William S. Cleveland and colleagues at Bell Labs) to R, considerably expanding its capabilities in the process. Lattice is a powerful and elegant high level data visualization system that is sufficient for most everyday graphics needs, yet flexible enough to be easily extended to handle demands of cutting edge research. Written by the author of the lattice system, this book describes it in considerable depth, beginning with the essentials and systematically delving into specific low levels details as necessary. No prior experience with lattice is required to read the book, although basic familiarity with R is assumed. The book contains close to150 figures produced with lattice. Many of the examples emphasize principles of good graphical design; almost all use real data sets that are publicly available in various R packages. All code and figures in the book are also available online, along with supplementary material covering more advanced topics. Deepayan Sarkar won the 2004 John M. Chambers Statistical Software Award for writing lattice while he was a graduate student in Statistics at the University of Wisconsin-Madison. He is currently doing postdoctoral research in the Computational Biology program at the Fred Hutchinson Cancer Research Center, a member of the R Core Team, and an active participant on the R mailing lists.

Table of integrals, series and products
Authors: --- --- --- --- --- et al.
ISBN: 0122947606 1322559023 1483265641 9780122947605 Year: 1980 Publisher: New York (N.Y.) Academic press

Listing 1 - 10 of 18 << page
of 2
>>
Sort by